Nuprl Definition : atomeq1 def
0,22
postcript
pdf
if
a
=1
b
then
x
else
y
is Primitive
latex
clarification:
atom_eq{$n:n}(
a
;
b
;
x
;
y
) is Primitive
latex
origin